Makoto Hamana: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Explicit substitutions and higher-order syntax

Neil Ghani, Tarmo Uustalu, Makoto Hamana

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 403 KB

english, 2006

2

An initial algebra approach to term rewriting systems with variable binders

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 610 KB

english, 2006

3

Crystal Structure Analysis of the PHD Domain of the Transcription Co-activator Pygopus

Yoshihiro Nakamura, Takashi Umehara, Hiroaki Hamana, Yoshihide Hayashizaki, Makoto Inoue, Takanori Kigawa, Mikako Shirouzu, Takaho Terada, Akiko Tanaka, Balasundaram Padmanabhan, Shigeyuki Yokoyama

Journal:

Journal of Molecular Biology

Year:

2007

Language:

english

File:

PDF, 2.21 MB

english, 2007

4

Anionic polymerization of hexafluoro-2-butyne

Tadashi Narita, Tokio Hagiwara, Hiroshi Hamana, Makoto Yoshizawa, Shin Nishimura

Journal:

Macromolecular Rapid Communications

Year:

1992

Language:

english

File:

PDF, 254 KB

english, 1992

5

A Case of Congenital Maxillary Hemangiopericytoma: A Case Report

Tadashi Yamanishi, Juntaro Nishio, Masami Inoue, Masahiro Yasui, Yasuhisa Toribe, Makoto Takeuchi, Keiko Matsuoka (Hamana), Motohiro Kitano, Shigenori Miya

Journal:

Journal of Oral and Maxillofacial Surgery

Year:

2007

Language:

english

File:

PDF, 504 KB

english, 2007

6

The largest subtype of murine odorant receptors responsive to a pair of enantiomers is more sensitive to a more potent partner of the enantiomers in human perception

Junzo Hirono, Hiroshi Hamana, Makoto Emura, Takaaki Sato

Journal:

Neuroscience Research

Year:

2007

Language:

english

File:

PDF, 92 KB

english, 2007

7

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic

Fiore, Marcelo, Hamana, Makoto

Year:

2013

Language:

english

File:

PDF, 348 KB

english, 2013

8

Bidirectionalization transformation based on automatic derivation of view complement functions

Matsuda, Kazutaka, Hu, Zhenjiang, Nakano, Keisuke, Hamana, Makoto, Takeichi, Masato

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 409 KB

english, 2007

9

[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Bidirectionalization transformation based on automatic derivation of view complement functions

Matsuda, Kazutaka, Hu, Zhenjiang, Nakano, Keisuke, Hamana, Makoto, Takeichi, Masato

Year:

2007

Language:

english

File:

PDF, 409 KB

english, 2007

10

[ACM Press the 9th ACM SIGPLAN international conference - Wroclaw, Poland (2007.07.14-2007.07.16)] Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '07 - Higher-order semantic labelling for inductive datatype systems

Year:

2007

Language:

english

File:

PDF, 212 KB

english, 2007

11

[ACM Press the seventh ACM SIGPLAN workshop - Tokyo, Japan (2011.09.18-2011.09.18)] Proceedings of the seventh ACM SIGPLAN workshop on Generic programming - WGP '11 - A foundation for GADTs and inductive families

Hamana, Makoto, Fiore, Marcelo

Year:

2011

Language:

english

File:

PDF, 445 KB

english, 2011

12

Isolation of Campylobacter pyloridis from Human Gastric Mucosa and Characterization of the Isolates

Itoh, Takeshi, Yanagawa, Yoshitoki, Shingaki, Masao, Takahashi, Masaki, Kai, Akemi, Ohashi, Makoto, Hamana, Gennichi

Journal:

Microbiology and Immunology

Year:

1987

File:

PDF, 3.38 MB

1987

13

Huge Pericardial Rhabdomyoma with Hypoplastic Left Ventricle and Lung

Takeuchi, Makoto, Nakayama, Masahiro, Kuwae, Yuko, Hamana, Keiko, Inamura, Noboru, Suehara, Noriyuki

Journal:

American Journal of Perinatology

Year:

2006

Language:

english

File:

PDF, 240 KB

english, 2006

14

Isolation of Campylobacter pyloridis from Human Gastric Mucosa and Characterization of the Isolates

Itoh, Takeshi, Yanagawa, Yoshitoki, Shingaki, Masao, Takahashi, Masaki, Kai, Akemi, Ohashi, Makoto, Hamana, Gennichi

Journal:

Microbiology and Immunology

Year:

1987

Language:

english

File:

PDF, 3.38 MB

english, 1987

15

A Preliminary Study on Phase-tranfer Catalyzed Reaction of Aromatic N-Oxide Derivatives. Reaction of 4-Chloroquinoline 1-Oxide with Carbanions

Hamana, Masatomo, Sato, Fuminori, Kimura, Yoshio, Nishikawa, Makoto, Noda, Hiroshi

Journal:

Year:

1978

Language:

english

File:

PDF, 101 KB

english, 1978

16

Studies on tertiary amine oxides. LXIX. Reactions of 2-chloromethylquinoline derivatives with 2-nitropropane.

NISHIKAWA, MAKOTO, SAEKI, SEITARO, HAMANA, MASATOMO, NODA, HIROSHI

Journal:

CHEMICAL & PHARMACEUTICAL BULLETIN

Year:

1980

File:

PDF, 803 KB

1980

17

The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics

HAMANA, MAKOTO, MATSUDA, KAZUTAKA, ASADA, KAZUYUKI

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 2.18 MB

english, 2016

18

Supersensitive detection and discrimination of enantiomers by dorsal olfactory receptors: evidence for hierarchical odour coding

Sato, Takaaki, Kobayakawa, Reiko, Kobayakawa, Ko, Emura, Makoto, Itohara, Shigeyoshi, Kizumi, Miwako, Hamana, Hiroshi, Tsuboi, Akio, Hirono, Junzo

Journal:

Scientific Reports

Year:

2015

Language:

english

File:

PDF, 776 KB

english, 2015

19

How to prove your calculus is decidable: practical applications of second-order algebraic theories and computation

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 973 KB

english, 2017

20

Î±-Oxyalkylation of Quinolinium Perchlorates in the Presence of Ammonium Peroxydisulfate

NODA, Hiroshi, MlNEMOTO, Masao, NISHIKAWA, Makoto, HAMANA, Masatomo

Journal:

Journal of UOEH

Year:

1980

File:

PDF, 614 KB

1980